61. Foundation Mathematics for Computer Science

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Computer graphics. ; Computer mathematics. ; Mathematics of Computing. ; -Computer science

62. Foundation mathematics for computer science : a visual approach

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science -- Mathematics

رده :
QA
76
.
9
.
M35V56

63. Foundations of logic and mathematics: applications to computer science and cryptography

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics

رده :
QA
9
.
N53
2002

64. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics

رده :
QA
9
.
N53
2002

65. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science

رده :
QA
9
.
N5

66. Future tendencies in computer science, control, and applied mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.

67. Future tendencies in computer science, control, and applied mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.

68. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics

رده :
QA
76
.
L28
Vol
.
653

69. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics

رده :
QA
76
.
L4
v
.
653

70. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses

رده :
QA
76
.
5
.
I5484
1992

71. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

72. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

73. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

74. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه آزاد اسلامی واحد قم (قم)

موضوع : Computer science,Mathematics,Molecular biology

رده :
QA
.
G72
76
2003

75. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

76. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

77. Introduction to computer science mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Mathematics - 1961-

رده :
510
J32i

78. Introduction to computer science mathematics

پدیدآورنده :

موضوع : ، Mathematics

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

79. Introduction to computer science mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : MATHEMATICS-1961-

رده :
QA
39
.
2
.
J35

80. Lectures on discrete mathematics for computer science

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Textbooks ، Computer science -- Mathematics

رده :
QA
76
.
9
.
M35K46